61. A first journey through logic /
پدیدآورنده : Martin Hils, François Loeser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
62. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
63. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
64. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
65. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
66. A framework for priority arguments
پدیدآورنده : Lerman, Manuel, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
67. A friendly introduction to mathematical logic
پدیدآورنده : / Christopher C. Leary
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : م‍ن‍طق کامپیوتری,Logic, Symbolic and mathematical
رده :
QA
۷۶
/
۹
/
م
۸
ل
۹ ۱۳۷۹
68. A friendly introduction to mathematical logic
پدیدآورنده : Leary, Christopher C.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
L43
2000
69. A friendly introduction to mathematical logic /
پدیدآورنده : Christopher C. Leary
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer logic,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
L63
L43
2000
70. A logical introduction to proof
پدیدآورنده : Daniel W. Cunningham
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
C86
2012eb
71. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B
موضوع : ، Logic, Symbolic and mathematical
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
72. <A> mathematical introduction to logic
پدیدآورنده : ]by[ Herbert B. Enderton
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Logic, Symbolic and mathematical
رده :
QA
9
.
E54
1972
73. <A> mathematical introduction to logic
پدیدآورنده : ]by[ Herbert B. Enderton
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Logic, Symbolic and mathematical
رده :
QA
9
.
E54
1972
74. A mathematical introduction to logic
پدیدآورنده : / [by] Herbert B. Enderton,Enderton
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical
رده :
QA
9
.
E54
75. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical.
رده :
QA9
,.
E54
,
2001
76. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E59
2001
77. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E59
78. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E54
2001
79. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
E54
2001
80. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Logic,Symbolic and mathematical
رده :
QA
9
.
E54
